-
1 variable binding rule
letter-into-sound rule — правило соответствия "буква-звук"
-
2 variable binding rule
Большой англо-русский и русско-английский словарь > variable binding rule
-
3 variable binding rule
Вычислительная техника: правило связывания переменных -
4 variable binding rule
English-Russian dictionary of computer science and programming > variable binding rule
-
5 variable binding
1. связывание переменныхmodule binding — увязка модулей; связывание модулей
2. связывающий переменныеEnglish-Russian big polytechnic dictionary > variable binding
-
6 rule
1) правило; норматив2) масштабная линейка; масштаб•- chain rule
- code rule
- cognitive rule
- complement rule
- composition rule
- condition-action rule
- context-free rule
- context-sensitive rule
- decision rule
- default rule
- design rule
- dialog format rules
- empty rule
- fault-avoiding layout rules
- firing rule
- formation rule
- inconsistent rule
- inheritance rule
- inhibition rule
- lambda design rule
- last association rule
- left recursive rule
- letter-into-sound rule
- linking rule
- majority rule
- maxmin rule
- midpoint rule
- minimax rule
- nearest neighbor rule
- operational rules
- precedence rule
- priority rule
- product rule
- production rule
- quadrature rule
- queueing rules
- random rule
- recursive rule
- reduction rule
- release reject rules
- rewrite rule
- rewriting rule
- right recursive rule
- rough-and-ready rule
- rule of inference
- rule of thumb
- scoping rule
- Simpson's rule
- statement rule
- stopping rules
- substitution rule
- sum rule
- traffic rule
- transformation rule
- trapezium rule
- underlying rule
- variable binding ruleEnglish-Russian dictionary of computer science and programming > rule
-
7 module binding
1. увязка модулей; связывание модулей2. связывание модулей -
8 name binding
module binding — увязка модулей; связывание модулей
-
9 execution time binding
module binding — увязка модулей; связывание модулей
English-Russian dictionary of Information technology > execution time binding
-
10 shallow binding
module binding — увязка модулей; связывание модулей
English-Russian dictionary of Information technology > shallow binding
-
11 equilibrium binding
module binding — увязка модулей; связывание модулей
The English-Russian dictionary general scientific > equilibrium binding
-
12 high-avidity binding
module binding — увязка модулей; связывание модулей
The English-Russian dictionary general scientific > high-avidity binding
-
13 правило связывания переменных
Большой англо-русский и русско-английский словарь > правило связывания переменных
-
14 machine
1) машина2) станок || подвергать механической обработке3) установка; устройство; агрегат4) механизмАнгло-русский словарь по полиграфии и издательскому делу > machine
См. также в других словарях:
Binding (linguistics) — In linguistics, binding theory is any of a broad class of theories dealing with the distribution of pronominal and anaphoric elements. The idea that there should be a specialised, coherent theory dealing with this particular set of phenomena… … Wikipedia
Rule of St. Benedict — • Lengthy article on the text of the Rule and its composition, some analysis, and practical application Catholic Encyclopedia. Kevin Knight. 2006. Rule of St. Benedict Rule of St. Benedict … Catholic encyclopedia
Law binding — Law Law (l[add]), n. [OE. lawe, laghe, AS. lagu, from the root of E. lie: akin to OS. lag, Icel. l[ o]g, Sw. lag, Dan. lov; cf. L. lex, E. legal. A law is that which is laid, set, or fixed; like statute, fr. L. statuere to make to stand. See… … The Collaborative International Dictionary of English
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Théorie du liage — En linguistique, la théorie du liage peut désigner n importe laquelle des membres du grand groupe de théories ayant pour objet la distribution des éléments pronominaux et anaphoriques. L idée selon laquelle il devrait y avoir une théorie… … Wikipédia en Français
David Kaplan (philosopher) — For other people of the same name, see David Kaplan (disambiguation). David Benjamin Kaplan (born 1933) is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy… … Wikipedia
Peter Pagin — (born 1953) is Professor of Philosophy at Stockholm University. He is a specialist in the philosophy of language and has worked extensively on foundational issues in semantics and on technical and philosophical problems about the compositionality … Wikipedia
Life Sciences — ▪ 2009 Introduction Zoology In 2008 several zoological studies provided new insights into how species life history traits (such as the timing of reproduction or the length of life of adult individuals) are derived in part as responses to… … Universalium
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
MINHAG — (Heb. מִנְהָג; custom, usage ) from the verb to lead. DEFINITION The word is found in the Bible (II Kings 9:2) meaning the driving (of a chariot) but it was taken by the rabbis to refer to usage. As such, it is used in a wide variety of senses.… … Encyclopedia of Judaism